| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| Church Numerals | Text File | 44 | 871 b | 1992-12-28 |
| Description | Text File | 13 | 722 b | 1993-01-02 |
| Examples | Text File | 350 | 10.3 KB | 1992-12-28 |
| Gabriel Benchs | Text File | 40 | 873 b | 1992-12-28 |
| Memoizing | Text File | 48 | 1.4 KB | 1992-12-28 |
| Multiple Values | Text File | 42 | 1.1 KB | 1992-12-28 |
| Unknown Values | Text File | 47 | 1.9 KB | 1992-12-28 |